University of Birmingham

Results: 2922



#Item
11Resolve-Impossibility for a Contract-Signing Protocol ∗ Aybek Mukhamedov Mark D. Ryan The University of Birmingham {axm,mdr}@cs.bham.ac.uk

Resolve-Impossibility for a Contract-Signing Protocol ∗ Aybek Mukhamedov Mark D. Ryan The University of Birmingham {axm,mdr}@cs.bham.ac.uk

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-02-25 10:33:24
    12De ning Features for CSP: Re e tions on the Feature Intera tion Contest Malte Plath1 and Mark Dermot Ryan1 S hool of Computer S ien e, University of Birmingham, Edgbaston, Birmingham B15 2TT, England. m p,mdr s.bham.a .

    De ning Features for CSP: Re e tions on the Feature Intera tion Contest Malte Plath1 and Mark Dermot Ryan1 S hool of Computer S ien e, University of Birmingham, Edgbaston, Birmingham B15 2TT, England. m p,mdr s.bham.a .

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2009-02-25 10:35:10
      13Untidy Evolution: Evolving Messy Gates for Fault Tolerance Julian F. Miller1 and Morten Hartmann2,3 1 School of Computer Science, University of Birmingham

      Untidy Evolution: Evolving Messy Gates for Fault Tolerance Julian F. Miller1 and Morten Hartmann2,3 1 School of Computer Science, University of Birmingham

      Add to Reading List

      Source URL: www.idi.ntnu.no

      Language: English - Date: 2002-04-24 10:29:52
        14

        Monday 12th JuneSian Roberts University of Birmingham Citizens of the world: Birmingham Quaker women, transnational voluntary service, and the meaning of citizenship

        Add to Reading List

        Source URL: www.vahs.org.uk

        Language: English - Date: 2017-03-26 06:11:09
          15Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

          Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

          Add to Reading List

          Source URL: www.cs.bham.ac.uk

          Language: English - Date: 2009-02-25 10:33:23
            16“AS A PEACE-LOVING GLOBAL CITIZEN”: A REVIEW OF THE AUTOBIOGRAPHY OF THE REV. SUN MYUNG MOON by George D. Chryssides (University of Birmingham, U.K.) A paper presented at the CESNUR 2011 International Conference in D

            “AS A PEACE-LOVING GLOBAL CITIZEN”: A REVIEW OF THE AUTOBIOGRAPHY OF THE REV. SUN MYUNG MOON by George D. Chryssides (University of Birmingham, U.K.) A paper presented at the CESNUR 2011 International Conference in D

            Add to Reading List

            Source URL: www.cesnur.org

            Language: English - Date: 2011-07-22 07:31:38
              17Privacy-supporting cloud-based conference systems: protocol and verification Myrto Arapinis, Sergiu Bursuc, Mark Ryan School of Computer Science, University of Birmingham Security of cloud computing

              Privacy-supporting cloud-based conference systems: protocol and verification Myrto Arapinis, Sergiu Bursuc, Mark Ryan School of Computer Science, University of Birmingham Security of cloud computing

              Add to Reading List

              Source URL: www.cs.bham.ac.uk.

              Language: English - Date: 2011-06-20 08:16:21
                18Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami University of Birmingham (UK)

                Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami University of Birmingham (UK)

                Add to Reading List

                Source URL: www.rntz.net

                Language: English - Date: 2018-07-25 15:09:53
                  19Finding the Way in the Assessment Landscape: Developing an Effective Assessment Map Anke C. Buttner University of Birmingham Assessment is a major landmark on every student’s journey through their program of

                  Finding the Way in the Assessment Landscape: Developing an Effective Assessment Map Anke C. Buttner University of Birmingham Assessment is a major landmark on every student’s journey through their program of

                  Add to Reading List

                  Source URL: learningoutcomeassessment.org

                  Language: English - Date: 2016-11-21 12:31:34